The Enactment of the Federal Martin Luther King Jr. Holiday in the United States and the Legacy of King's Non-violence